\documentclass[a4paper,12pt,titlepage]{article}

\usepackage{headers}
\usepackage{macro}

%opening
\title{Reaction systems for toxicology\\
 (Report)}
\author{Franck Delaplace \and Cinzia Di Giusto \and Hanna Klaudel}
\date{Université d'Evry - Val d'Essonne, Laboratoire IBISC, Evry, France}

\begin{document}
\onehalfspacing

\maketitle

\begin{abstract}
 \input{abstract.tex}
\end{abstract}
% \todo{Notes: \\
% - Since we are introducing a field that is relatively new, I would like to  have a long introduction, introducing the field and our contributions in detail.\\
% - I am not sure we need to talk about CAD designers (see if they fit smoothly in the introduction), otherwise they could be mentioned in the conclusion where we sum up and discuss the results\\ 
% - check punctuation}

\section{Introduction}
\input{intro}

\section{The model} \label{sec:reaction}
\input{reactionstamp}
\input{example}

\section{Properties of Petri nets with timestamps}
 \input{properties}


%\section{Toxicology analysis}
%\todo{reachability analysys and bound proofs}
%\input{toxic}

%\section{Example: the interplay of Aspartame and Insulin}
%\todo{...}

\section{Discussion and concluding remarks}\label{sec:concl}
\input{discussion}

\paragraph{Acknowledgments.} This work was supported by the French project ANR BLAN 0307 01 - SYNBIOTIC.


\bibliographystyle{plain}
\bibliography{biblio}



 


\end{document}
